00100	TOPICS
00200	
00300	1. Description of events.
00400	
00500	2. Correspondences between the laws of motion of situations and
00600	automaton models or transformational systems.
00700	
00800	3. redo automaton model of "can".
00900	
01000	4. Apply theory of parallel processes to proving that goals can
01100	be reached.
01200	
01300	5. Apply partial function logic to the theory of truth
01400	knowledge and belief.
01500